-
1 algebraic proof
Большой англо-русский и русско-английский словарь > algebraic proof
-
2 algebraic proof
Математика: алгебраическое доказательство -
3 algebraic proof
-
4 purely algebraic proof
Математика: чисто алгебраическое доказательствоУниверсальный англо-русский словарь > purely algebraic proof
-
5 purely algebraic proof
English-Russian scientific dictionary > purely algebraic proof
-
6 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
7 алгебраическое доказательство
Большой англо-русский и русско-английский словарь > алгебраическое доказательство
-
8 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
9 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
-
10 system
- computationally secure system- abuse-free system- algebraic code system- analog system- asymmetric system- asymmetric key system- authentication/secrecy system- binary system- block system- broadcast system- broadcasting system- cipher-feedback system- classical system- common-key system- communication system- compromised system- computationally secure system- conference system- conventional system- DES-based system- DES-like system- deterministic system- DH system- Diffie and Hellman system- discrete-exponentiation system- discrete log system- E3 system- effectively unbreakable system- elliptic curve system- endomorphic system- end-to-end encryption system- error propagating system- factorization system- finite system- finite automation system- Galois field system- general system- generalized system- Goppa-code system- hardware-implemented system- hidden key system- high-grade system- high-speed system- hybrid public-secret key system- hybrid stream/block system- identity-based system- system immune to cryptoanalysis- indecipherable system- intractable system- iterated system- key escrow system- keyed system- key escrow system- key-minimal system- knapsack-based system- knapsack public key system- matrix system- McEliece' system- Merkle-Hellman system- MH system- microprocessor based system- minuend system- multiple access system- multiple destination system- multiplicative knapsack system- network system- non-linear system- number theoretic system- one-key system- one-master-key system- one-time-key system- one-time-pad system- one-time-tape system- perfect secrecy system- practical security system- private key system- proprietary system- public key system- public key distribution system- public key signature system- rapid system- reciprocal number system- residue system- Rivest-Shamir-Adleman system- rotor system- RSA public key system- r-th residue system- secret-key system- secure system- shared key system- shift register system- single-key system- sophisticated system- split key system- strong system- subtractive system- symmetric system- theoretically unbreakable system- threshold system- transposition system- trap-door-knapsack public key system- transient key system- threshold system- two-key system- unbreakable system- voice system -
11 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
12 construction
1) сооружение, строительство3) конструкция4) матем. построение5) строение; сооружение6) структура•construction subsidized by public funds — строительство, финансируемое из общественных фондов
constructions on a stereogram — матем. построения на стереографической проекции
-
13 graph
1) граф2) график || строить график3) диаграмма || чертить диаграмму•- alternating composition graph - arbitrarily transversable graph - derived graph - doubly connected graph - doubly transitive graph - fully connected graph - locally countable graph - locally finite graph - locally restricted graph - log-log graph - partially labeled graph - partially orderable graph - progressively finite graph - regressively finite graph - strictly weak graph - strongly orientable graph - strongly regular graph - strongly rigid graph - strongly singular graph - strongly smooth graph - totally inductive graph - triangleless graph - triply transitive graph - uniquely intersectable graph - uniquely representable graph - weakly disconnected graph -
14 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… … Wikipedia
Algebraic topology — is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism. In many situations this is too much to hope for… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
algebraic geometry — Math. the study of sets that are defined by algebraic equations. [1895 1900] * * * Study of geometric objects expressed as equations and represented by graphs in a given coordinate system. In contrast to Euclidean geometry, algebraic geometry… … Universalium
Algebraic function — In mathematics, an algebraic function is informally a function which satisfies a polynomial equation whose coefficients are themselves polynomials. For example, an algebraic function in one variable x is a solution y for an equation: a n(x)y^n+a… … Wikipedia
Algebraic geometry and analytic geometry — In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally… … Wikipedia
Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded … Wikipedia
Algebraic cycle — In mathematics, an algebraic cycle on an algebraic variety V is, roughly speaking, a homology class on V that is represented by a linear combination of subvarieties of V . Therefore the algebraic cycles on V are the part of the algebraic topology … Wikipedia
Cantor's first uncountability proof — Georg Cantor s first uncountability proof demonstrates that the set of all real numbers is uncountable. Cantor formulated the proof in December 1873 and published it in 1874 in Crelle s Journal [cite… … Wikipedia
Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… … Wikipedia